Joining specification statements

Specification statements and refinement by Carroll

We discuss the development of executable programs from state-based specifications written in the language of first-order predicate calculus. Notable examples of such specifications are those written using the techniques 2 and VDM; but our interest is in the rigorous derivation of the algorithms from which they deliberately abstract. This is, of course, the role of a development method. Here we ...

Simulation of Specification Statements in Hoare Logic

Data refinement is a powerful technique to derive implementations in terms of low-level data structures like bytes from specification in terms of highlevel data structures like queues. The higher level operations need not be coded as ordinary programs; it is more convenient to introduce specification statements to the programming language and use them instead of actual code. Specification state...

Quranic Statements

“The state of being plain” is one of the features of the Holy Quran, taken as indicative of Quran’s expressiveness and clearness regarding its intentions. However, one of the aspects of Quranic miracles is its expressive miracle based on which verses have been revealed according to suitability and appropriateness of situation in an explicit and succinct form. In order to have a desirable unders...

Position Statements

Position Statements

There was a time – in the dim historical past – when foundries actually made ASICs with only 5000 to 50,000 logic gates. But FPGAs and CPLDs conquered those markets and pushed ASIC silicon toward opportunities with more logic, volume, and speed. Today's largest FPGAs approach the few-million-gate size of a typical ASIC design, and continue to sprout embedded cores, such as CPUs, memories, and i...